Search Results

Documents authored by Wilhelm, Reinhard

Found 2 Possible Name Variants:

Wilhelm, Reinhard

Document
Invited Paper
DOI: 10.4230/OASIcs.WCET.2018.1
Mixed Feelings About Mixed Criticality (Invited Paper)

Authors: Reinhard Wilhelm

Published in: OASIcs, Volume 63, 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)

Abstract
I point to some challenges for WCET analysis offered in the transition to integrated mixed-criticality systems (MCSs) and to multi-core platforms, claim that proposed certification standards are inadequate, show that the MCS model heavily used by the scheduling community is fraught, and clarify why the traditional abstract interface between WCET analysis and schedulability analysis is obsolete. A central point is the insistence on sound approaches. I give a detailed account of how the most rigid certification procedures, those of the avionics domain, are satisfied, to defend the validity of my claims.
Cite as

Reinhard Wilhelm. Mixed Feelings About Mixed Criticality (Invited Paper). In 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018). Open Access Series in Informatics (OASIcs), Volume 63, pp. 1:1-1:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{wilhelm:OASIcs.WCET.2018.1,
  author =	{Wilhelm, Reinhard},
  title =	{{Mixed Feelings About Mixed Criticality}},
  booktitle =	{18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)},
  pages =	{1:1--1:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-073-6},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{63},
  editor =	{Brandner, Florian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2018.1},
  URN =		{urn:nbn:de:0030-drops-97473},
  doi =		{10.4230/OASIcs.WCET.2018.1},
  annote =	{Keywords: WCET analysis, mixed criticality systems, multi-core platforms, scheduling, schedulability}
}
Document
DOI: 10.4230/DagRep.7.7.72
Resource Bound Analysis (Dagstuhl Seminar 17291)

Authors: Marco Gaboardi, Jan Hoffman, Reinhard Wilhelm, and Florian Zuleger

Published in: Dagstuhl Reports, Volume 7, Issue 7 (2018)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17291 "Resource Bound Analysis". Resource-bound analysis is studied in formal methods and programming languages at different levels of abstraction. The goal of the Dagstuhl seminar was to bring together leading researchers with different backgrounds in resource-bound analysis to address challenging open problems and to facilitate communication across research areas.
Cite as

Marco Gaboardi, Jan Hoffman, Reinhard Wilhelm, and Florian Zuleger. Resource Bound Analysis (Dagstuhl Seminar 17291). In Dagstuhl Reports, Volume 7, Issue 7, pp. 72-87, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@Article{gaboardi_et_al:DagRep.7.7.72,
  author =	{Gaboardi, Marco and Hoffman, Jan and Wilhelm, Reinhard and Zuleger, Florian},
  title =	{{Resource Bound Analysis (Dagstuhl Seminar 17291)}},
  pages =	{72--87},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{7},
  editor =	{Gaboardi, Marco and Hoffman, Jan and Wilhelm, Reinhard and Zuleger, Florian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.7.7.72},
  URN =		{urn:nbn:de:0030-drops-84241},
  doi =		{10.4230/DagRep.7.7.72},
  annote =	{Keywords: quantitative analysis, resource-bound analysis, WCET}
}
Document
DOI: 10.4230/LITES-v003-i001-a005
A Survey on Static Cache Analysis for Real-Time Systems

Authors: Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, and Wang Yi

Published in: LITES, Volume 3, Issue 1 (2016). Leibniz Transactions on Embedded Systems, Volume 3, Issue 1

Abstract
Real-time systems are reactive computer systems that must produce their reaction to a stimulus within given time bounds. A vital verification requirement is to estimate the Worst-Case Execution Time (WCET) of programs. These estimates are then used to predict the timing behavior of the overall system. The execution time of a program heavily depends on the underlying hardware, among which cache has the biggest influence. Analyzing cache behavior is very challenging due to the versatile cache features and complex execution environment. This article provides a survey on static cache analysis for real-time systems. We first present the challenges and static analysis techniques for independent programs with respect to different cache features. Then, the discussion is extended to cache analysis in complex execution environment, followed by a survey of existing tools based on static techniques for cache analysis. An outlook for future research is provided at last.
Cite as

Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, and Wang Yi. A Survey on Static Cache Analysis for Real-Time Systems. In LITES, Volume 3, Issue 1 (2016). Leibniz Transactions on Embedded Systems, Volume 3, Issue 1, pp. 05:1-05:48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{lv_et_al:LITES-v003-i001-a005,
  author =	{Lv, Mingsong and Guan, Nan and Reineke, Jan and Wilhelm, Reinhard and Yi, Wang},
  title =	{{A Survey on Static Cache Analysis for Real-Time Systems}},
  journal =	{Leibniz Transactions on Embedded Systems},
  pages =	{05:1--05:48},
  ISSN =	{2199-2002},
  year =	{2016},
  volume =	{3},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a005},
  doi =		{10.4230/LITES-v003-i001-a005},
  annote =	{Keywords: Hard real-time, Cache analysis, Worst-case execution time}
}
Document
DOI: 10.4230/DagNews.2011
Dagstuhl News January - December 2011

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2011, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2011,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2011}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2011},
  URN =		{urn:nbn:de:0030-drops-36507},
  doi =		{10.4230/DagNews.2011},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}
Document
Complete Volume
DOI: 10.4230/OASIcs.TrustworthySW.2006
OASIcs, Volume 3, Trustworthy SW'06, Complete Volume

Authors: Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm, and Pierre Wolper

Published in: OASIcs, Volume 3, Workshop on Trustworthy Software (2006)

Abstract
OASIcs, Volume 3, Trustworthy SW'06, Complete Volume
Cite as

Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Proceedings{autexier_et_al:OASIcs.TrustworthySW.2006,
  title =	{{OASIcs, Volume 3, Trustworthy SW'06, Complete Volume}},
  booktitle =	{Workshop on Trustworthy Software},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-02-6},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{3},
  editor =	{Autexier, Serge and Merz, Stephan and van der Torre, Leon and Wilhelm, Reinhard and Wolper, Pierre},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.TrustworthySW.2006},
  URN =		{urn:nbn:de:0030-drops-35659},
  doi =		{10.4230/OASIcs.TrustworthySW.2006},
  annote =	{Keywords: Software/Program Verification}
}
Document
Complete Volume
DOI: 10.4230/OASIcs.PPES.2011
OASIcs, Volume 18, PPES'11, Complete Volume

Authors: Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, and Reinhard Wilhelm

Published in: OASIcs, Volume 18, Bringing Theory to Practice: Predictability and Performance in Embedded Systems (2011)

Abstract
OASIcs, Volume 18, PPES'11, Complete Volume
Cite as

Bringing Theory to Practice: Predictability and Performance in Embedded Systems. Open Access Series in Informatics (OASIcs), Volume 18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Proceedings{lucas_et_al:OASIcs.PPES.2011,
  title =	{{OASIcs, Volume 18, PPES'11, Complete Volume}},
  booktitle =	{Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-28-6},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{18},
  editor =	{Lucas, Philipp and Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011},
  URN =		{urn:nbn:de:0030-drops-35804},
  doi =		{10.4230/OASIcs.PPES.2011},
  annote =	{Keywords: Special-purpose and application-based systems\rbrack: Real-time and embedded systems}
}
Document
DOI: 10.4230/DagNews.2010
Dagstuhl News January - December 2010

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2010, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2010,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2010}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2010},
  URN =		{urn:nbn:de:0030-drops-34610},
  doi =		{10.4230/DagNews.2010},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagActivityRep.2011.EN
Dagstuhl Annual Report January - December 2011

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2011.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2011, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2011.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2011}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2011.EN},
  URN =		{urn:nbn:de:0030-drops-34606},
  doi =		{10.4230/DagActivityRep.2011.EN},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, annual report, business report, company report}
}
Document
DOI: 10.4230/DagActivityRep.2011.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2011

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Schloss Dagstuhl - Leibniz-Zentrum für Informatik ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2011 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2011, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2011.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2011}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2011.DE},
  URN =		{urn:nbn:de:0030-drops-34590},
  doi =		{10.4230/DagActivityRep.2011.DE},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/DagMan.1.1.21
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)

Authors: Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, and Reinhard Wilhelm

Published in: Dagstuhl Manifestos, Volume 1, Issue 1 (2011)

Abstract
This manifesto represents the results of the Dagstuhl Perspectives Workshop 10482 "Formal Methods – Just a Euro-Science?" held from November 30 to December 3, 2010 at Schloss Dagstuhl, Germany. We strive to clarify the terminology and categorize the abundance of concepts and methods in order to reduce misunderstandings among the involved research community and in communication with industry. We discuss the industrial acceptance of formal methods and how to increase it by targeted research and improved education. Finally, we state a few challenges and provide perspectives of the field. This document is opinionated in nature and biased towards the experiences and views of the participants listed in the appendix, further distilled by the authors.
Cite as

Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, and Reinhard Wilhelm. Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). In Dagstuhl Manifestos, Volume 1, Issue 1, pp. 21-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@Article{kreiker_et_al:DagMan.1.1.21,
  author =	{Kreiker, J\"{o}rg and Tarlecki, Andrzej and Vardi, Moshe Y. and Wilhelm, Reinhard},
  title =	{{Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)}},
  pages =	{21--40},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2011},
  volume =	{1},
  number =	{1},
  editor =	{Kreiker, J\"{o}rg and Tarlecki, Andrzej and Vardi, Moshe Y. and Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagMan.1.1.21},
  URN =		{urn:nbn:de:0030-drops-32121},
  doi =		{10.4230/DagMan.1.1.21},
  annote =	{Keywords: Formal methods, Verification, Analysis, Modeling, Design for Verifiability}
}
Document
DOI: 10.4230/DagNews.2009
Dagstuhl News January - December 2009

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2009, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2009,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2009}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2011},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2009},
  URN =		{urn:nbn:de:0030-drops-31060},
  doi =		{10.4230/DagNews.2009},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagActivityRep.2010.EN
Dagstuhl Annual Report January - December 2010

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2010.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2010, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2010.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2010}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2011},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2010.EN},
  URN =		{urn:nbn:de:0030-drops-31087},
  doi =		{10.4230/DagActivityRep.2010.EN},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, annual report, business report, company report}
}
Document
DOI: 10.4230/DagActivityRep.2010.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2010

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Schloss Dagstuhl - Leibniz-Zentrum für Informatik ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2010 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2010, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2010.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2010}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2011},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2010.DE},
  URN =		{urn:nbn:de:0030-drops-31072},
  doi =		{10.4230/DagActivityRep.2010.DE},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
Front Matter
DOI: 10.4230/OASIcs.PPES.2011.i
Preface (Frontmatter, Table of Contents, Preface)

Authors: Philipp Lucas and Reinhard Wilhelm

Published in: OASIcs, Volume 18, Bringing Theory to Practice: Predictability and Performance in Embedded Systems (2011)

Abstract
Frontmatter, Table of Contents, Preface
Cite as

Bringing Theory to Practice: Predictability and Performance in Embedded Systems. Open Access Series in Informatics (OASIcs), Volume 18, pp. i-vii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{lucas_et_al:OASIcs.PPES.2011.i,
  author =	{Lucas, Philipp and Wilhelm, Reinhard},
  title =	{{Preface (Frontmatter, Table of Contents, Preface)}},
  booktitle =	{Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
  pages =	{i--vii},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-28-6},
  ISSN =	{2190-6807},
  year =	{2011},
  volume =	{18},
  editor =	{Lucas, Philipp and Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.i},
  URN =		{urn:nbn:de:0030-drops-30767},
  doi =		{10.4230/OASIcs.PPES.2011.i},
  annote =	{Keywords: Frontmatter, Table of Contents, Preface}
}
Document
DOI: 10.4230/OASIcs.PPES.2011.22
A Template for Predictability Definitions with Supporting Evidence

Authors: Daniel Grund, Jan Reineke, and Reinhard Wilhelm

Published in: OASIcs, Volume 18, Bringing Theory to Practice: Predictability and Performance in Embedded Systems (2011)

Abstract
In real-time systems, timing behavior is as important as functional behavior. Modern architectures turn verification of timing aspects into a nightmare, due to their "unpredictability". Recently, various efforts have been undertaken to engineer more predictable architectures. Such efforts should be based on a clear understanding of predictability. We discuss key aspects of and propose a template for predictability definitions. To investigate the utility of our proposal, we examine above efforts and try to cast them as instances of our template.
Cite as

Daniel Grund, Jan Reineke, and Reinhard Wilhelm. A Template for Predictability Definitions with Supporting Evidence. In Bringing Theory to Practice: Predictability and Performance in Embedded Systems. Open Access Series in Informatics (OASIcs), Volume 18, pp. 22-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{grund_et_al:OASIcs.PPES.2011.22,
  author =	{Grund, Daniel and Reineke, Jan and Wilhelm, Reinhard},
  title =	{{A Template for Predictability Definitions with Supporting Evidence}},
  booktitle =	{Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
  pages =	{22--31},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-28-6},
  ISSN =	{2190-6807},
  year =	{2011},
  volume =	{18},
  editor =	{Lucas, Philipp and Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011.22},
  URN =		{urn:nbn:de:0030-drops-30785},
  doi =		{10.4230/OASIcs.PPES.2011.22},
  annote =	{Keywords: predictability, uncertainty, precision}
}
Document
DOI: 10.4230/DagActivityRep.2009.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2009

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Schloss Dagstuhl - Leibniz-Zentrum für Informatik ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2009 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2009, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2009.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2009}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2010},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2009.DE},
  URN =		{urn:nbn:de:0030-drops-26179},
  doi =		{10.4230/DagActivityRep.2009.DE},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/OASIcs.WCET.2009.2278
Teaching WCET Analysis in Academia and Industry: A Panel Discussion

Authors: Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter Puschner, and Reinhard Wilhelm

Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)

Abstract
The last item on the programme of the WCET'09 workshop was a panel discussion on "Teaching WCET analysis in academia and industry". The panelists presented three position statements to initiate a general discussion of the subject. This summary contains the panelists' position statements and notes of the panel discussion.
Cite as

Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter Puschner, and Reinhard Wilhelm. Teaching WCET Analysis in Academia and Industry: A Panel Discussion. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{holsti_et_al:OASIcs.WCET.2009.2278,
  author =	{Holsti, Niklas and Bernat, Guillem and Ferdinand, Christian and Puschner, Peter and Wilhelm, Reinhard},
  title =	{{Teaching WCET Analysis in Academia and Industry: A Panel Discussion}},
  booktitle =	{9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
  pages =	{1--4},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-14-9},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{10},
  editor =	{Holsti, Niklas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2278},
  URN =		{urn:nbn:de:0030-drops-22780},
  doi =		{10.4230/OASIcs.WCET.2009.2278},
  annote =	{Keywords: WCET analysis, teaching, courses}
}
Document
DOI: 10.4230/DagNews.1998
Dagstuhl News January - December 1998

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 1998, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.1998,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 1998}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.1998},
  URN =		{urn:nbn:de:0030-drops-20453},
  doi =		{10.4230/DagNews.1998},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.1999
Dagstuhl News January - December 1999

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 1999, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.1999,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 1999}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.1999},
  URN =		{urn:nbn:de:0030-drops-20487},
  doi =		{10.4230/DagNews.1999},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2000
Dagstuhl News January - December 2000

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2000, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2000,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2000}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2000},
  URN =		{urn:nbn:de:0030-drops-20498},
  doi =		{10.4230/DagNews.2000},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2001
Dagstuhl News January - December 2001

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2001, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2001,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2001}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2001},
  URN =		{urn:nbn:de:0030-drops-20504},
  doi =		{10.4230/DagNews.2001},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2002
Dagstuhl News January - December 2002

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2002, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2002,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2002}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2002},
  URN =		{urn:nbn:de:0030-drops-20514},
  doi =		{10.4230/DagNews.2002},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2003
Dagstuhl News January - December 2003

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2003, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2003,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2003}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2003},
  URN =		{urn:nbn:de:0030-drops-20527},
  doi =		{10.4230/DagNews.2003},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2004
Dagstuhl News January - December 2004

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2004, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2004,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2004}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2004},
  URN =		{urn:nbn:de:0030-drops-20534},
  doi =		{10.4230/DagNews.2004},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2005
Dagstuhl News January - December 2005

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2005, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2005,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2005}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2005},
  URN =		{urn:nbn:de:0030-drops-20544},
  doi =		{10.4230/DagNews.2005},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2006
Dagstuhl News January - December 2006

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2006, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2006,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2006}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2006},
  URN =		{urn:nbn:de:0030-drops-20550},
  doi =		{10.4230/DagNews.2006},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2007
Dagstuhl News January - December 2007

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2007, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2007,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2007}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2007},
  URN =		{urn:nbn:de:0030-drops-20569},
  doi =		{10.4230/DagNews.2007},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagNews.2008
Dagstuhl News January - December 2008

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract
"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.
Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2008, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2008,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2008}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2008},
  URN =		{urn:nbn:de:0030-drops-20579},
  doi =		{10.4230/DagNews.2008},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}
Document
DOI: 10.4230/DagActivityRep.2008.EN
Dagstuhl Annual Report January - December 2008

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2008.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2008, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2008.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2008}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2008.EN},
  URN =		{urn:nbn:de:0030-drops-20755},
  doi =		{10.4230/DagActivityRep.2008.EN},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, annual report, business report, company report}
}
Document
DOI: 10.4230/DagActivityRep.2008.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2008

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Schloss Dagstuhl - Leibniz-Zentrum für Informatik ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2008 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2008, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2008.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2008}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2008.DE},
  URN =		{urn:nbn:de:0030-drops-20665},
  doi =		{10.4230/DagActivityRep.2008.DE},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/DagActivityRep.2007.EN
Dagstuhl Annual Report January - December 2007

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2007.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2007, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2007.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2007}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2007.EN},
  URN =		{urn:nbn:de:0030-drops-20741},
  doi =		{10.4230/DagActivityRep.2007.EN},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, annual report, business report, company report}
}
Document
DOI: 10.4230/DagActivityRep.2007.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2007

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Das Internationale Begegnungs- und Forschungszentrum, Schloss Dagstuhl, ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2007 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2007, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2007.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2007}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2007.DE},
  URN =		{urn:nbn:de:0030-drops-20657},
  doi =		{10.4230/DagActivityRep.2007.DE},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/DagActivityRep.2006.EN
Dagstuhl Annual Report January - December 2006

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2006.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2006, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2006.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2006}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2006.EN},
  URN =		{urn:nbn:de:0030-drops-20735},
  doi =		{10.4230/DagActivityRep.2006.EN},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, annual report, business report, company report}
}
Document
DOI: 10.4230/DagActivityRep.2006.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2006

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Das Internationale Begegnungs- und Forschungszentrum, Schloss Dagstuhl, ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2006 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2006, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2006.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2006}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2006.DE},
  URN =		{urn:nbn:de:0030-drops-20642},
  doi =		{10.4230/DagActivityRep.2006.DE},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/DagActivityRep.2005.EN
Dagstuhl Annual Report January - December 2005

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2005.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2005, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2005.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2005}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2005.EN},
  URN =		{urn:nbn:de:0030-drops-20726},
  doi =		{10.4230/DagActivityRep.2005.EN},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, annual report, business report, company report}
}
Document
DOI: 10.4230/DagActivityRep.2005.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2005

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Das Internationale Begegnungs- und Forschungszentrum, Schloss Dagstuhl, ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2005 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2005, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2005.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2005}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2005.DE},
  URN =		{urn:nbn:de:0030-drops-20634},
  doi =		{10.4230/DagActivityRep.2005.DE},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/DagActivityRep.2004.EN
Dagstuhl Annual Report January - December 2004

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2004.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2004, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2004.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2004}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2004.EN},
  URN =		{urn:nbn:de:0030-drops-20717},
  doi =		{10.4230/DagActivityRep.2004.EN},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, annual report, business report, company report}
}
Document
DOI: 10.4230/DagActivityRep.2004.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2004

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Das Internationale Begegnungs- und Forschungszentrum, Schloss Dagstuhl, ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2004 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2004, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2004.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2004}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2004.DE},
  URN =		{urn:nbn:de:0030-drops-20621},
  doi =		{10.4230/DagActivityRep.2004.DE},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/DagActivityRep.2003.EN
Dagstuhl Annual Report January - December 2003

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2003.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2003, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2003.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2003}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2003.EN},
  URN =		{urn:nbn:de:0030-drops-20700},
  doi =		{10.4230/DagActivityRep.2003.EN},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, annual report, business report, company report}
}
Document
DOI: 10.4230/DagActivityRep.2003.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2003

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Das Internationale Begegnungs- und Forschungszentrum, Schloss Dagstuhl, ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2003 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2003, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2003.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2003}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2003.DE},
  URN =		{urn:nbn:de:0030-drops-20615},
  doi =		{10.4230/DagActivityRep.2003.DE},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/DagActivityRep.2002.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2002

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Das Internationale Begegnungs- und Forschungszentrum, Schloss Dagstuhl, ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2002 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2002, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2002.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2002}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2002.DE},
  URN =		{urn:nbn:de:0030-drops-20607},
  doi =		{10.4230/DagActivityRep.2002.DE},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/DagActivityRep.2001.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2001

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Das Internationale Begegnungs- und Forschungszentrum, Schloss Dagstuhl, ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2001 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2001, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2001.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2001}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2001.DE},
  URN =		{urn:nbn:de:0030-drops-20591},
  doi =		{10.4230/DagActivityRep.2001.DE},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
DOI: 10.4230/DagActivityRep.2000.EN
Dagstuhl Annual Report January - December 2000

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2000.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2000, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2000.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2000}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2000.EN},
  URN =		{urn:nbn:de:0030-drops-20674},
  doi =		{10.4230/DagActivityRep.2000.EN},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, International Conference and Research Center for Computer Science, annual report, business report, company report}
}
Document
DOI: 10.4230/DagActivityRep.2000.DE
Dagstuhl Tätigkeitsbericht Januar - Dezember 2000

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract
Das Internationale Begegnungs- und Forschungszentrum, Schloss Dagstuhl, ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2000 in diesem Tätigkeitsbericht dokumentiert.
Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2000, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2000.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2000}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2009},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2000.DE},
  URN =		{urn:nbn:de:0030-drops-20581},
  doi =		{10.4230/DagActivityRep.2000.DE},
  annote =	{Keywords: Schloss Dagstuhl, IBFI, Internationales Begegnungs- und Forschungszentrum f\"{u}r Informatik, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}
Document
Complete Volume
DOI: 10.4230/OASIcs.WCET.2005
OASIcs, Volume 1, WCET 2005, Complete Volume

Authors: Reinhard Wilhelm

Published in: OASIcs, Volume 1, 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) (2007)

Abstract
OASIcs, Volume 1, WCET 2005, Complete Volume
Cite as

5th International Workshop on Worst-Case Execution Time Analysis (WCET'05). Open Access Series in Informatics (OASIcs), Volume 1, pp. 1-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@Proceedings{wilhelm:OASIcs.WCET.2005,
  title =	{{OASIcs, Volume 1, WCET 2005, Complete Volume}},
  booktitle =	{5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
  pages =	{1--48},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-24-8},
  ISSN =	{2190-6807},
  year =	{2007},
  volume =	{1},
  editor =	{Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005},
  URN =		{urn:nbn:de:0030-drops-35637},
  doi =		{10.4230/OASIcs.WCET.2005},
  annote =	{Keywords: OASIcs, Volume 1, WCET 2005, Complete Volume}
}
Document
Front Matter
DOI: 10.4230/OASIcs.WCET.2005.817
2005 WCET Preface -- Message from the Workshop Chair

Authors: Reinhard Wilhelm

Published in: OASIcs, Volume 1, 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) (2007)

Abstract
You have in front of you the proceedings of the 5th International Workshop on Worst-Case Execution Time (WCET) Analysis. The workshop was held on the 5th of July 2005 as a satellite event to the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005) in Palma de Mallorca, Spain. It was the fifth event in the series after the successful meetings in Delft (Holland) in 2001, Vienna (Austria) in 2002, Porto (Portugal) in 2003 and Catania (Italy) in 2004. The goal of these workshops is to bring together people from academia, tool vendors and users in industry that are interested in all aspects of timing analysis for real-time systems. The workshops provide a relaxed forum to present and discuss new ideas, new research directions, and to review current trends in this area. It consisted of short presentations that should encourage discussion by the attendees. The topics of the 2005 workshop included paper on the following topics: - Measurement-based timing-analysis methods, - Experience from industrial case studies, - Architectural issues, and - Timing analysis in real-time education. In addition, there was an invited talk by Lothar Thiele, ETH Zuerich, on Composable Real-Time Analysis. There is no paper about this talk contained in the proceedings. The industrial case studies showed that the techniques have matured to industrial applicability. Better results are achieved if the methods and tools are integrated into the development process. Measurement-based methods were controversially discussed. Further talks showed that much support is needed to deal with architectural features that endanger timing predictability.
Cite as

5th International Workshop on Worst-Case Execution Time Analysis (WCET'05). Open Access Series in Informatics (OASIcs), Volume 1, pp. i-vi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{wilhelm:OASIcs.WCET.2005.817,
  author =	{Wilhelm, Reinhard},
  title =	{{2005 WCET Preface -- Message from the Workshop Chair}},
  booktitle =	{5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
  pages =	{i--vi},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-24-8},
  ISSN =	{2190-6807},
  year =	{2007},
  volume =	{1},
  editor =	{Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.817},
  URN =		{urn:nbn:de:0030-drops-8171},
  doi =		{10.4230/OASIcs.WCET.2005.817},
  annote =	{Keywords: Real time systems, timing analysis, embedded systems}
}
Document
DOI: 10.4230/DagSemProc.06081.3
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction

Authors: Jörg Bauer and Reinhard Wilhelm

Published in: Dagstuhl Seminar Proceedings, Volume 6081, Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)

Abstract
We propose a new abstraction technique for verifying topology properties of dynamic communicating systems (DCS), a special class of infinite-state systems. DCS are characterized by unbounded creation and destruction of objects along with an evolving communication connectivity or topology. We employ a lightweight graph transformation system to specify DCS. Hierarchical Abstraction (HA) computes a bounded over-approximation of all topologies that can occur in a DCS directly from its transformation rules. HA works in two steps. First, for each connected component, called cluster, of a topology, objects sharing a common property are summarized to one abstract object. Then isomorphic abstract connected components are summarized to one abstract component, called abstract cluster. This yields a conservative approximation of all graphs that may occur during any DCS run. The technique is implemented.
Cite as

Jörg Bauer and Reinhard Wilhelm. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. In Software Verification: Infinite-State Model Checking and Static Program Analysis. Dagstuhl Seminar Proceedings, Volume 6081, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{bauer_et_al:DagSemProc.06081.3,
  author =	{Bauer, J\"{o}rg and Wilhelm, Reinhard},
  title =	{{Analysis of Dynamic Communicating Systems by Hierarchical Abstraction}},
  booktitle =	{Software Verification: Infinite-State Model Checking and Static Program Analysis},
  pages =	{1--25},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6081},
  editor =	{Parosh Aziz Abdulla and Ahmed Bouajjani and Markus M\"{u}ller-Olm},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06081.3},
  URN =		{urn:nbn:de:0030-drops-7271},
  doi =		{10.4230/DagSemProc.06081.3},
  annote =	{Keywords: Graph transformation, Abstract Interpretation, Shape Analysis}
}
Document
DOI: 10.4230/OASIcs.TrustworthySW.2006.758
Abstracts Collection -- Workshop Trustworthy Software 2006

Authors: Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm, and Pierre Wolper

Published in: OASIcs, Volume 3, Workshop on Trustworthy Software (2006)

Abstract
On 18-19 May 2006, the Saarland University organized a two-day workshop about "Trustworthy Software" in order to present and foster the research competence in the SaarLorLuxWallonie region in the area of developing safe, secure and reliable software, computers and networks. As part of the Interreg III C E-Bird project "Recherches sans fronti\`eres/Forschen ohne Grenzen" it provided an excellent forum especially for young scientists to present and discuss recent results, new ideas and future research directions to a transnational audience from the SaarLorLuxWallonie region. The workshop consisted of 21 regular presentations and one invited talk. Abstracts of all presentations are collected in this paper, including links to extended abstracts or full papers. The first section directs to the preface of the proceedings.
Cite as

Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm, and Pierre Wolper. Abstracts Collection -- Workshop Trustworthy Software 2006. In Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{autexier_et_al:OASIcs.TrustworthySW.2006.758,
  author =	{Autexier, Serge and Merz, Stephan and van der Torre, Leon and Wilhelm, Reinhard and Wolper, Pierre},
  title =	{{Abstracts Collection -- Workshop Trustworthy Software 2006}},
  booktitle =	{Workshop on Trustworthy Software},
  pages =	{1--7},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-02-6},
  ISSN =	{2190-6807},
  year =	{2006},
  volume =	{3},
  editor =	{Autexier, Serge and Merz, Stephan and van der Torre, Leon and Wilhelm, Reinhard and Wolper, Pierre},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.TrustworthySW.2006.758},
  URN =		{urn:nbn:de:0030-drops-7588},
  doi =		{10.4230/OASIcs.TrustworthySW.2006.758},
  annote =	{Keywords: Software evolution, Modularity, Automated debugging, Dependability assurance, Failure analysis, Static program analysis, Infinite and Finite-state verification, Runtime verification, Theorem proving, Access control, Security analysis, Security protocols, E-Voting}
}
Document
Front Matter
DOI: 10.4230/OASIcs.TrustworthySW.2006.693
Preface -- Workshop Trustworthy Software 2006

Authors: Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm, and Pierre Wolper

Published in: OASIcs, Volume 3, Workshop on Trustworthy Software (2006)

Abstract
As part of the Interreg III C/E-Bird project "Recherches sans fronti\`eres/Forschen ohne Grenzen" the Saarland University organized a two-day workshop about "Trustworthy Software" in order to present and foster the research competence in the SaarLorLuxWallonie region in the area of developing safe, secure and reliable software, computers and networks. The workshop especially provided a forum for young scientists to present their research to a transnational audience from the SaarLorLuxWallonie region and consisted of 21 regular presentations and one invited presentation.
Cite as

Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, pp. i-vi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{autexier_et_al:OASIcs.TrustworthySW.2006.693,
  author =	{Autexier, Serge and Merz, Stephan and van der Torre, Leon and Wilhelm, Reinhard and Wolper, Pierre},
  title =	{{Preface -- Workshop Trustworthy Software 2006}},
  booktitle =	{Workshop on Trustworthy Software},
  pages =	{i--vi},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-02-6},
  ISSN =	{2190-6807},
  year =	{2006},
  volume =	{3},
  editor =	{Autexier, Serge and Merz, Stephan and van der Torre, Leon and Wilhelm, Reinhard and Wolper, Pierre},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.TrustworthySW.2006.693},
  URN =		{urn:nbn:de:0030-drops-6932},
  doi =		{10.4230/OASIcs.TrustworthySW.2006.693},
  annote =	{Keywords: Trustworthy software, preface}
}
Document
DOI: 10.4230/DagSemProc.06161.5
Abstract Interpretation of Graph Transformation

Authors: Jörg Bauer and Reinhard Wilhelm

Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)

Abstract
The semantics of many dynamic systems can be described by evolving graphs. Graph transformation systems (GTS) are a natural, intuitive, and formally defined method to specify systems of evolving graphs, whereas verification techniques for GTS are scarce. We present an abstract interpretation based approach for GTS verification. Single graphs are abstracted in two steps. First similar nodes within a connected component, then similar abstracted connected components are summarized. Transformation rules are applied directly to abstract graphs yielding a bounded set of abstract graphs of bounded size that over-approximates the concrete GTS and can be used for further verification. Since our abstraction is homomorphic, existential positive properties are preserved under abstraction. Furthermore, we identify automatically checkable completeness criteria for the abstraction. The technique is implemented and successfully tested on the platoon case study.
Cite as

Jörg Bauer and Reinhard Wilhelm. Abstract Interpretation of Graph Transformation. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{bauer_et_al:DagSemProc.06161.5,
  author =	{Bauer, J\"{o}rg and Wilhelm, Reinhard},
  title =	{{Abstract Interpretation of Graph Transformation}},
  booktitle =	{Simulation and Verification of Dynamic Systems},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6161},
  editor =	{David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.5},
  URN =		{urn:nbn:de:0030-drops-7039},
  doi =		{10.4230/DagSemProc.06161.5},
  annote =	{Keywords: Abstract Interpretation, Graph Transformation}
}
Document
DOI: 10.4230/OASIcs.WCET.2006.671
A Definition and Classification of Timing Anomalies

Authors: Jan Reineke, Björn Wachter, Stefan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, and Bernd Becker

Published in: OASIcs, Volume 4, 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) (2006)

Abstract
Timing Anomalies are characterized by counterintuitive timing behaviour. A locally faster execution leads to an increase of the execution time of the whole program. The presence of such behaviour makes WCET analysis more difficult: It is not safe to assume local worst-case behaviour wherever the analysis encounters uncertainty. Existing definitions of Timing Anomalies are rather imprecise and intuitive in nature. Some do not cover all kinds of known Timing Anomalies. After giving an overview of related work, we give a concise formal definition of Timing Anomalies. We then begin to identify different classes of anomalies. One of these classes, coined Scheduling Timing Anomalies, coincides with previous restricted definitions.
Cite as

Jan Reineke, Björn Wachter, Stefan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, and Bernd Becker. A Definition and Classification of Timing Anomalies. In 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06). Open Access Series in Informatics (OASIcs), Volume 4, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{reineke_et_al:OASIcs.WCET.2006.671,
  author =	{Reineke, Jan and Wachter, Bj\"{o}rn and Thesing, Stefan and Wilhelm, Reinhard and Polian, Ilia and Eisinger, Jochen and Becker, Bernd},
  title =	{{A Definition and Classification of Timing Anomalies}},
  booktitle =	{6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)},
  pages =	{1--6},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-03-3},
  ISSN =	{2190-6807},
  year =	{2006},
  volume =	{4},
  editor =	{Mueller, Frank},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.671},
  URN =		{urn:nbn:de:0030-drops-6713},
  doi =		{10.4230/OASIcs.WCET.2006.671},
  annote =	{Keywords: Timing analysis, Worst-case execution time, Timing anomalies, Scheduling Anomalies, Abstraction}
}
Document
DOI: 10.4230/DagSemProc.03471.1
03471 Abstracts Collection – Design of Systems with Predictable Behaviour

Authors: Lothar Thiele and Reinhard Wilhelm

Published in: Dagstuhl Seminar Proceedings, Volume 3471, Perspectives Workshop: Design of Systems with Predictable Behaviour (2004)

Abstract
On 16.11.-19.11.2003, the Perspectives Workshop 03471 "Design of Systems with Predictable Behaviour" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the workshop, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well a digest of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Lothar Thiele and Reinhard Wilhelm. 03471 Abstracts Collection – Design of Systems with Predictable Behaviour. In Perspectives Workshop: Design of Systems with Predictable Behaviour. Dagstuhl Seminar Proceedings, Volume 3471, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2004)

Copy BibTex To Clipboard

@InProceedings{thiele_et_al:DagSemProc.03471.1,
  author =	{Thiele, Lothar and Wilhelm, Reinhard},
  title =	{{03471 Abstracts Collection – Design of Systems with Predictable Behaviour}},
  booktitle =	{Perspectives Workshop: Design of Systems with Predictable Behaviour},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2004},
  volume =	{3471},
  editor =	{Lothar Thiele and Reinhard Wilhelm},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.1},
  URN =		{urn:nbn:de:0030-drops-73},
  doi =		{10.4230/DagSemProc.03471.1},
  annote =	{Keywords: real-time systems , guarantees , predictability , embedded systems , performance}
}
Document
DOI: 10.4230/DagSemProc.03471.4
Requirements for and Design of a Processor with Predictable Timing

Authors: Christoph Berg, Jakob Engblom, and Reinhard Wilhelm

Published in: Dagstuhl Seminar Proceedings, Volume 3471, Perspectives Workshop: Design of Systems with Predictable Behaviour (2004)

Abstract
This paper introduces a set of design principles that aim to make processor architectures amenable to static timing analysis. Based on these principles, we give a design of a hard real-time processor with predictable timing, which is simultaneously capable of reaching respectable performance levels. The design principles we identify are recoverability from information loss in the analysis, minimal variation of the instruction timing, non-interference between processor components, deterministic processor behavior, and comprehensive documentation. The principles are based on our experience and that of other researchers in building timing analysis tools for existing processors.
Cite as

Christoph Berg, Jakob Engblom, and Reinhard Wilhelm. Requirements for and Design of a Processor with Predictable Timing. In Perspectives Workshop: Design of Systems with Predictable Behaviour. Dagstuhl Seminar Proceedings, Volume 3471, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2004)

Copy BibTex To Clipboard

@InProceedings{berg_et_al:DagSemProc.03471.4,
  author =	{Berg, Christoph and Engblom, Jakob and Wilhelm, Reinhard},
  title =	{{Requirements for and Design of a Processor with Predictable Timing}},
  booktitle =	{Perspectives Workshop: Design of Systems with Predictable Behaviour},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2004},
  volume =	{3471},
  editor =	{Lothar Thiele and Reinhard Wilhelm},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.4},
  URN =		{urn:nbn:de:0030-drops-57},
  doi =		{10.4230/DagSemProc.03471.4},
  annote =	{Keywords: WCET, hard real-time, embedded systems, computer architecture}
}
Document
DOI: 10.4230/DagSemProc.03471.2
Design for Time-Predictability

Authors: Lothar Thiele and Reinhard Wilhelm

Published in: Dagstuhl Seminar Proceedings, Volume 3471, Perspectives Workshop: Design of Systems with Predictable Behaviour (2004)

Abstract
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guaranteed run times should not only be reliable, but also precise. The achievable precision highly depends on characteristics of the target architecture and the implementation methods and system layers of the software. Trends in hardware and software design run contrary to predictability. This article describes threats to time-predictability of systems and proposes design principles that support time predictability. The ultimate goal is to design performant systems with sharp upper and lower bounds on execution times.
Cite as

Lothar Thiele and Reinhard Wilhelm. Design for Time-Predictability. In Perspectives Workshop: Design of Systems with Predictable Behaviour. Dagstuhl Seminar Proceedings, Volume 3471, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2004)

Copy BibTex To Clipboard

@InProceedings{thiele_et_al:DagSemProc.03471.2,
  author =	{Thiele, Lothar and Wilhelm, Reinhard},
  title =	{{Design for Time-Predictability}},
  booktitle =	{Perspectives Workshop: Design of Systems with Predictable Behaviour},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2004},
  volume =	{3471},
  editor =	{Lothar Thiele and Reinhard Wilhelm},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.2},
  URN =		{urn:nbn:de:0030-drops-23},
  doi =		{10.4230/DagSemProc.03471.2},
  annote =	{Keywords: real-time systems , guarantees , predictability , embedded systems , performance}
}
Document
DOI: 10.4230/DagSemRep.403
Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471)

Authors: Lothar Thiele and Reinhard Wilhelm

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Lothar Thiele and Reinhard Wilhelm. Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471). Dagstuhl Seminar Report 403, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)

Copy BibTex To Clipboard

@TechReport{thiele_et_al:DagSemRep.403,
  author =	{Thiele, Lothar and Wilhelm, Reinhard},
  title =	{{Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471)}},
  pages =	{1--4},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{403},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.403},
  URN =		{urn:nbn:de:0030-drops-152834},
  doi =		{10.4230/DagSemRep.403},
}
Document
DOI: 10.4230/DagSemRep.390
Software Optimization (Dagstuhl Seminar 03351)

Authors: Susan L. Graham and Reinhard Wilhelm

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Susan L. Graham and Reinhard Wilhelm. Software Optimization (Dagstuhl Seminar 03351). Dagstuhl Seminar Report 390, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)

Copy BibTex To Clipboard

@TechReport{graham_et_al:DagSemRep.390,
  author =	{Graham, Susan L. and Wilhelm, Reinhard},
  title =	{{Software Optimization (Dagstuhl Seminar 03351)}},
  pages =	{1--4},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{390},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.390},
  URN =		{urn:nbn:de:0030-drops-152707},
  doi =		{10.4230/DagSemRep.390},
}
Document
DOI: 10.4230/DagSemRep.264
Informatics 10 Years Back, 10 Years Ahead (Dagstuhl Seminar 00352)

Authors: Reinhard Wilhelm

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Reinhard Wilhelm. Informatics 10 Years Back, 10 Years Ahead (Dagstuhl Seminar 00352). Dagstuhl Seminar Report 264, pp. 1-56, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)

Copy BibTex To Clipboard

@TechReport{wilhelm:DagSemRep.264,
  author =	{Wilhelm, Reinhard},
  title =	{{Informatics 10 Years Back, 10 Years Ahead (Dagstuhl Seminar 00352)}},
  pages =	{1--56},
  ISSN =	{1619-0203},
  year =	{2000},
  type = 	{Dagstuhl Seminar Report},
  number =	{264},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.264},
  URN =		{urn:nbn:de:0030-drops-151493},
  doi =		{10.4230/DagSemRep.264},
}
Document
DOI: 10.4230/DagSemRep.247
Astromomie und Informatik (Dagstuhl Seminar 99321)

Authors: Walter Oberschelp, Wilhelm Seggewiss, and Reinhard Wilhelm

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Walter Oberschelp, Wilhelm Seggewiss, and Reinhard Wilhelm. Astromomie und Informatik (Dagstuhl Seminar 99321). Dagstuhl Seminar Report 247, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)

Copy BibTex To Clipboard

@TechReport{oberschelp_et_al:DagSemRep.247,
  author =	{Oberschelp, Walter and Seggewiss, Wilhelm and Wilhelm, Reinhard},
  title =	{{Astromomie und Informatik (Dagstuhl Seminar 99321)}},
  pages =	{1--9},
  ISSN =	{1619-0203},
  year =	{1999},
  type = 	{Dagstuhl Seminar Report},
  number =	{247},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.247},
  URN =		{urn:nbn:de:0030-drops-151338},
  doi =		{10.4230/DagSemRep.247},
}

Reinhard, Wilhelm

Document
DOI: 10.4230/DagSemRep.3
Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036)

Authors: Hankin Chris and Wilhelm Reinhard

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Hankin Chris and Wilhelm Reinhard. Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036). Dagstuhl Seminar Report 3, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1991)

Copy BibTex To Clipboard

@TechReport{chris_et_al:DagSemRep.3,
  author =	{Chris, Hankin and Reinhard, Wilhelm},
  title =	{{Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{3},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.3},
  URN =		{urn:nbn:de:0030-drops-148914},
  doi =		{10.4230/DagSemRep.3},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact